1. A fuzzy PROLOG database system
پدیدآورنده : Li, Deyi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
2. An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
3. Artificial intelligence in simulation
پدیدآورنده : FUTO,IVAN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
4. Computing with logic : logic programming with Prolog
پدیدآورنده : Maier, David
موضوع : ، Prolog )Computer program language(,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
6. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
7. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
8. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
9. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
10. Logic, Progrmming and prolog
پدیدآورنده : / ULF Nilsson and Jan Maluszynski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic Programming,Prolog (Computer Program Language)
رده :
QA76
.
63
.
N55
1995
11. Logic programming : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan.
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
13. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: (South Khorasan)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
B73
2005
14. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA
,
76
.
63
,.
B73
,
2005
15. Logic programming with Prolog
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming. ; Prolog (Computer program language) ;
16. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
.
B73
2005
17. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
18. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
19. Logic with prolog
پدیدآورنده : / Peter gibbins,Gibbins
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Prolog ( Computer Program language),Logic programming
رده :
QA
76
.
73
.
P76G53
1988
20. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
